翻訳と辞書 Words near each other ・ Bernau bei Berlin station ・ Bernau im Schwarzwald ・ Bernau-Friedenstal station ・ Bernauer ・ Bernauer Straße ・ Bernauer Straße (Berlin U-Bahn) ・ Bernaville ・ Bernay ・ Bernay, Eure ・ Bernay-en-Champagne ・ Bernay-en-Ponthieu ・ Bernay-Saint-Martin ・ Bernay-Vilbert ・ Bernaya ・ Bernays ・ Bernays–Schönfinkel class ・ Bernbaum ・ Bernbeuren ・ Bernbjerg Formation ・ Bernborough ・ Bernburg ・ Bernburg (district) ・ Bernburg (Verwaltungsgemeinschaft) ・ Bernburg Euthanasia Centre ・ Bernburg Formation ・ Bernd ・ Bernd Ahrendt ・ Bernd Aldenhoff ・ Bernd Aldor ・ Bernd Alois Zimmermann Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Bernays–Schönfinkel class ： ウィキペディア英語版 Bernays–Schönfinkel class The Bernays–Schönfinkel class (also known as Bernays–Schönfinkel-Ramsey class) of formulas, named after Paul Bernays and Moses Schönfinkel (and Frank P. Ramsey), is a decidable fragment of first-order logic formulas. It is the set of satisfiable formulas which, when written in prenex normal form, have an $\backslash exists^$ *\forall^ * quantifier prefix and do not contain any function symbols. This class of logic formulas is also sometimes referred as effectively propositional (EPR) since it can be ''effectively'' translated into propositional logic formulas by a process of grounding or instantiation. The decision problem for this class is NEXPTIME-complete.〔Harry R. Lewis, ''Complexity Results for Classes of Quantificational Formulas'', J. Computer and System Sciences, 21, 317-353 (1980) 〕 ==See also== *Prenex normal form 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Bernays–Schönfinkel class」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.